Jan Olaf Blech, Michaël Périn. Certifying deadlock-freedom for BIP models. In Heiko Falk, editor, 12th International Workshop on Software and Compilers for Embedded Systems, SCOPES '09, Nice, France, April 23 - 24, 2009. pages 61-70, ACM, 2009. [doi]
Abstract is missing.