Experiences in applying formal methods to the analysis of software and system requirements | IEEE Conference Publication | IEEE Xplore