Formal analysis of Fresenius infusion pump (FIP). - Vasiliki Sfyrla; Sébastien Marcoux; Claude Vittoria (ICCPS, 2013)