Christine Choppy Pascal Poizat Jean-Claude Royer Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. 124-139 2001 conf/fase/2001 FASE http://link.springer.de/link/service/series/0558/bibs/2029/20290124.htm db/conf/fase/fase2001.html#ChoppyPR01