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