M. Carmen Ruiz Diego Cazorla Fernando Cuartero Juan José Pardo Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra. 46 2006 conf/cimca/2006 CIMCA/IAWTIC http://doi.ieeecomputersociety.org/10.1109/CIMCA.2006.200 db/conf/cimca/cimca2006.html#RuizCCP06