Authors: Frappier, M St-Denis, R

Citation: M. Frappier et R. St-denis, Specifying a cleanroom black box using JSD, FACIT, 2001, pp. 191-205

Authors: Makungu, M Barbeau, M St-Denis, R

Citation: M. Makungu et al., Synthesis of controllers of processes modeled as colored Petri nets, DISCR EVENT, 9(2), 1999, pp. 147-169

Authors: Barbeau, M Kabanza, F St-Denis, R

Citation: M. Barbeau et al., A method for the synthesis of controllers to handle safety, liveness, and real-time constraints (vol 43, pg 1543, 1998), IEEE AUTO C, 44(4), 1999, pp. 886-886

Authors: Frappier, M St-Denis, R

Citation: M. Frappier et R. St-denis, Combining JSD and cleanroom for object-oriented scenario specification, KLUW ENGN C, 523, 1999, pp. 61-74