Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux. Extending the Translation from SDL to Promela. In Dragan Bosnacki, Stefan Leue, editors, Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings. Volume 2318 of Lecture Notes in Computer Science, pages 79-94, Springer, 2002. [doi]
Abstract is missing.