Parosh Aziz Abdulla Johann Deneux Gunnar Stålmarck Herman Ågren Ove Åkerlund Designing Safe, Reliable Systems Using Scade. 115-129 2004 conf/isola/2004 ISoLA http://dx.doi.org/10.1007/11925040_8 db/conf/isola/isola2004.html#AbdullaDSAA04