MARIA - Modular Reachability Analyser