Gerogiannis, V., A. Kameas, and P. Pintelas,  "Real-mfg a petri net based model focusing on the integration of schedulability and fault-tolerance",  Reliability, Quality and Safety of Software-Intensive Systems: IFIP and Chapman & Hall, pp. 263-268, 1997.