@article{article, title  = {{An Automated Framework for Verifying or Refuting Trace Properties of Extended Finite State Machines}},

 url = {{https://eprints.whiterose.ac.uk/189243/ }},

 year = {{2022}},

 month = {{6}},

 author = {{Taylor R and Foster M and North S}},

 journal = {{International Journal on Software Tools for Technology Transfer}},

 note = {{Accessed on 2024/12/22}}}