Formal Modelling for Cooking Assistance. - Bernd Krieg-Brückner; Serge Autexier; Martin Rink; Sidoine Ghomsi Nokam (Software, Services, and Systems, 2015)