Martinie De Almeida, Celia , Navarre, David and Palanque, Philippe (2014) A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. International Journal of Human-Computer Studies, 72 (1). pp. 77-99.