A modeling framework for complex behavior modeling and integration. - Jean-Marc Perronne; Alban Rasse; Laurent Thiry; Bernard Thirion (IADIS AC, 2005)

Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models. - Alban Rasse; Jean-Marc Perronne; Pierre-Alain Muller; Bernard Thirion (MoDELS (Satellite Events), 2005)