Alessandro Ferrante Aniello Murano Mimmo Parente Enriched MU-Calculi Module Checking http://arxiv.org/abs/0805.3462 2008 CoRR abs/0805.3462 db/journals/corr/corr0805.html#abs-0805-3462 informal publication