@inproceedings{,
	author          = {C. Pronk},
	title           = {Model Checking, the Technology and the Tools},
	booktitle       = {Control and Computer Tecnology in the Future Application},
	publisher       = {IEEE},
	year            = {2012},
	month           = {September},
	organization    = {2012 International Conference on System Engineering and Technology, Institute Technology Bandung, Indonesia},
	pages           = {2},
	address         = {Bandung, Indonesia},
	isbn            = { 978-1-4673-2374-1},
	location        = {Bandung, Indonesia},
	project         = {MoDSE},
	topic           = {model-driven software development},
	group           = {SE}
}