A formal requirements engineering method for specification, synthesis, and verification | IEEE Conference Publication | IEEE Xplore