@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}
}