Formal methods in manufacturing (CRC Press, 2014)