Miguel Abdalla Ferhat Khendek Greg Butler New results on deriving SDL specifications from MSCs. 51-66 1999 SDL Forum db/conf/sdl/sdl1999.html#AbdallaKB99