@inproceedings{35bab287f6404603ab9c7caa80200bf3,
title = "Specification and verification of a safty shell with statcharts and extended timed graphs",
keywords = "ZX Int.klas.verslagjaar < 2002",
author = "{van Katwijk}, J and WJ Toetenel and AEK Sahaoui and E Anderson and J Zalewski",
year = "2000",
language = "Undefined/Unknown",
isbn = "3-540-41186-0",
publisher = "Springer",
pages = "37--52",
editor = "{F Koornneef} and {M Meulen}, {van der}",
booktitle = "SAFECOMP 2000 proceedings",
note = "19th International Conference SAFECOMP 2000, Rotterdam ; Conference date: 24-10-2000 Through 27-10-2000",
}