Introducing Formal Specification Methods in Industrial Practice | IEEE Conference Publication | IEEE Xplore