Input-Output Conformance Simulation (iocos) for Model Based Testing | Publicación