rtm_search - Performs symbolic (mdd based) state space search on a timed module
rtm_search [-v] [-i] [-h] <module_name>
The command performs MDD based symbolic search on the state
space of a timed module starting from its initial region. The rtm_trans command
must be executed prior to executing this command.
verbose mode - prints MDDs associated with each intermediate step