Stephan Bourduas Ferhat Khendek Daniel Vincent From MSC and UML to SDL. 153-158 2002 conf/compsac/2002 COMPSAC http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1044546 db/conf/compsac/compsac2002.html#BourduasKV02