Richard F. Paige Louis M. Rose Xiaocheng Ge Dimitrios S. Kolovos Phillip J. Brooke FPTC: Automated Safety Analysis for Domain-Specific Languages. 229-242 2008 MoDELS Workshops http://dx.doi.org/10.1007/978-3-642-01648-6_25 conf/models/2008w db/conf/models/models2008w.html#PaigeRGKB08