. . . "Map Aware Non-uniform Automata 1.0 user manual" . . . . . . . . . "MANA 1.0 user manual" .