David Navarre Célia Martinie Philippe A. Palanque Alberto Pasquini Martina Ragosta Model-based dynamic distribution of user interfaces of critical interactive systems. 66-75 2013 ATACCS https://doi.org/10.1145/2494493.2494502 conf/atacss/2013 db/conf/atacss/ataccs2013.html#NavarreMPPR13