Nikolai Mansurov Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering. 115-136 2001 27 Comput. Lang. 1/3 db/journals/cl/cl27.html#Mansurov01