Bio-Inspired Specification, Development, and Verification - Phan Cong-Vinh (Taylor and Francis, 2012)