Enriched MU-Calculi Module Checking (Logical Methods in Computer Science, 2008)