Application of formal methods for design space exploration and refinement | IEEE Conference Publication | IEEE Xplore