Bechir Zalila Irfan Hamid Jérôme Hugues Laurent Pautet Generating Distributed High Integrity Applications from Their Architectural Description. 155-167 2007 conf/adaEurope/2007 Ada-Europe http://dx.doi.org/10.1007/978-3-540-73230-3_12 db/conf/adaEurope/adaEurope2007.html#ZalilaHHP07