IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems | IEEE Conference Publication | IEEE Xplore