@ARTICLE{hierons,
author={R. M. Hierons},
journal={IEEE Transactions on Computers},
title={Testing from a nondeterministic finite state machine using adaptive state counting},
year={2004},
volume={53},
number={10},
pages={1330-1342},
ISSN={0018-9340}
}



@inproceedings{refinement,
  title={A Mechanised Proof of an Adaptive State Counting Algorithm},
  author={Robert Sachtleben and Jan Peleska and Rob Hierons and Wen-Ling Huang},
  booktitle={IFIP International Conference on Testing Software and Systems},
  note={to appear},
  year={2019},
  organization={Springer}
}



@article{Transition_Systems_and_Automata-AFP,
  author  = {Julian Brunner},
  title   = {Transition Systems and Automata},
  journal = {Archive of Formal Proofs},
  month   = oct,
  year    = 2017,
  note    = {\url{http://isa-afp.org/entries/Transition_Systems_and_Automata.html},
            Formal proof development},
  ISSN    = {2150-914x},
}



