Salient features of an executable specification language and its environment | IEEE Journals & Magazine | IEEE Xplore