Giacomo Buonanno Franco Fummi Donatella Sciuto An extended-UIO-based method for protocol conformance testing. 225-242 2000 46 Journal of Systems Architecture 3 http://dx.doi.org/10.1016/S1383-7621(99)00003-X db/journals/jsa/jsa46.html#BuonannoFS00