@inproceedings {openmbee2020,
	title = {Model Checking as a Service: Towards Pragmatic Hidden Formal Methods},
	booktitle = {Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings},
	year = {2020},
	doi = {10.1145/3417990.3421407},
	author = {Benedek Horv{\'a}th and Bence Graics and {\'A}kos Hajdu and Zolt{\'a}n Micskei and Vince Moln{\'a}r and Istv{\'a}n R{\'a}th and Luigi Andolfato and Ivan Gomes and Robert Karban}
}
