FARN WANG2020-06-042020-06-042008https://scholars.lib.ntu.edu.tw/handle/123456789/497181Specification Formalisms and Models.book parthttps://doi.org/10.1002/9780470050118.ecse410