IFACSAFE

Klein, S.; Frey, G.; Litz, L.: Designing fault-tolerant Controllers using SIPN and Model-Checking. Proceedings of the IFAC-Safeprocess, pp. 115-120, Washington D.C., USA, Jun. 2003.