@inproceedings{ICEIS-HCI-2008-GuimaraesBM,
	author        = "Marcos Salenko Guimarães and Maria Cecília Calani Baranauskas and Eliane Martins",
	booktitle     = "{Proceedings of the 10th International Conference on Enterprise Information Systems, Volume 5: HCI}",
	isbn          = "978-989-8111-40-1",
	pages         = "215--220",
	title         = "{Communication-Based Modelling and Inspection in Critical Systems}",
	year          = 2008,
}