Philippe Leblanc OMT and SDL Based Techniques and Tools for Design, Simulation and Test Production of Distributed Systems. 153-165 1997 1 STTT 1-2 db/journals/sttt/sttt1.html#Leblanc97 http://link.springer.de/link/service/journals/10009/bibs/7001001/70010153.htm