Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra | Publicación