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