A note on fairness in I/O automata / J.M.T. Romijn, F.W. VaandragerTackling the Dagstuhl'94 specification problems with I/O automata / J.M.T. RomijnExploiting symmetry in protocol testing / J. Romijn, J.G. SpringintveldAnalysing industrial protocols with formal methods / Judi Maria Tirza RomijnModel checking the HAVi leader election protocol / J.M.T. RomijnExploiting symmetry in protocol testing / J.M.T. Romijn, J.G. SpringintveldA timed verification of the IEEE 1394 leader election protocol / J.M.T. RomijnAnalysing industrial protocols with formal methods / Judi Maria Tirza Romijn