The synergy between system modelization and HMI modelization: application on a workbench HMI. - Laurence Kujawa; Rémi Boutemy (Erog'IA, 2014)