1. Model checking CML: tool development and industrial applications. (November 2015) Authors: Mota, A.; Farias, A.; Woodcock, J.; Larsen, P. Journal: Formal aspects of computing Issue: Volume 27:Number 5(2015) Page Start: 975 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗