@inbook{38e7ff7da38e44aeb8e04fbb2205252e,
title = "Formalizing Requirements and Design for a Production Cell System",
author = "Hans Rischel and Petersen, {Jakob Lyng}",
year = "1994",
language = "English",
pages = "37--46",
booktitle = "Automatisation des Processus Mixtes: Les Systemes Dynamiques Hybrides",
publisher = "IBRA, Institut Belge de Regulation et d'Automatisme",
note = "Symposium ADPM '94: Automatisation des Processus Mixtes: Les Systemes Dynamiques Hybrides ; Conference date: 01-01-1994",
}