An automatic implementation of the ISO FTAM protocol based on an integrated specification of... - Lo, A.; Lai, R. (Journal of Systems & Software, 1999)