@inproceedings{Broman:2005, author = "David Broman and Peter Fritzson", title = "Ideas for Security Assurance in Security Critical Software using Modelica", booktitle = "Proceedings of the Conference on Modeling and Simulation for Public Safety", year = "2005", pages = "45--54", location = "Linköping, Sweden", }