Alessandro Ferrante Aniello Murano Mimmo Parente Enriched µ-Calculus Pushdown Module Checking. 438-453 2007 conf/lpar/2007 LPAR https://doi.org/10.1007/978-3-540-75560-9_32 db/conf/lpar/lpar2007.html#FerranteMP07