A Rigorous Method for Inspection of Model-Based Formal Specifications | IEEE Journals & Magazine | IEEE Xplore