To handle these models, we choose a compilation approach which produces programs in the model annotation language, this allows to execute them efficiently. Moreover, this compilation is optimizing using model peculiarities. However, this rich expressivity leads to the use of explicit model-checking ...
doi:10.1016/j.jcms.2011.04.020ZhangYuTanglStefanHuberChristian DLinYeQiuLixinJournal of cranio-maxillo-facial surgery: official publication of the European Association for Cranio-Maxillo-Facial Surgery