@inproceedings{802b0a21cf284893902d8397188dfe15,
title = "A formal approach to system integration",
keywords = "conference contrib. refereed, Conf.proc. > 3 pag",
author = "{Gutierrez Alcaraz}, JM and {de Haan}, SWH and JA Ferreira",
year = "2010",
language = "English",
isbn = "978-3-8007-3212-8",
publisher = "VDE Verlag GMBH",
pages = "57--62",
editor = "A Rufer",
booktitle = "6th International Conference on Integrated Power Electronics Systems",
note = "CIPS 2010, 6th International Conference on Integrated Power Electronics Systems, Nuremberg, Germany ; Conference date: 16-05-2010 Through 18-05-2010",
}