A. Lo Richard Lai An automatic implementation of the ISO FTAM protocol based on an integrated specification of Estelle and ASN.1. 119-137 1999 48 Journal of Systems and Software 2 http://dx.doi.org/10.1016/S0164-1212(99)00051-5 db/journals/jss/jss48.html#LoL99