Improving symbolic reachability analysis by means of activity profiles | IEEE Journals & Magazine | IEEE Xplore