Formal Modelling for Cooking Assistance
@incollection{KARG-15-a,
  author        = {Bernd Krieg-Brückner  and Serge Autexier and  Martin Ring and Sidoine Ghomsi Nokam},
  editor        = {Rocco De Nicola and Rolf Hennicker},
  booktitle     = {Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation},
  title         = {Formal Modelling for Cooking Assistance},
  volume        = {8950},
  series        = {LNCS},
  publisher     = {Springer International Publishing Switzerland },
  pages         = {355-376},
  month         = {february},
  year          = {2015},
}