On dynamic switching of navigation for semi-formal design validation. - Parikh, Ankur; Hsiao, Michael S. (2008)