@inproceedings{ICEIS-v2-2012-CapelM,
	author        = "Manuel I. Capel and Luis E. Mendoza Morales",
	booktitle     = "{Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2}",
	isbn          = "978-989-8565-11-2",
	pages         = "105--112",
	publisher     = "{SciTePress}",
	title         = "{A Formal Compositional Verification Approach for Safety-Critical Systems Correctness — Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software}",
	year          = 2012,
}