Model checking multi-level and recursive nets - Fernández Venero, Mirtha Lina; Silva, Flávio Soares Corrêa da (Software and Systems Modeling, 2017)