Formal methods in manufacturing - Campos Laclaustra, Javier, 1963- (CRC Press, 2014)