@article{article, title = {{Conditional transition systems with upgrades}}, publisher = {{Elsevier}}, url = {{http://eprints.whiterose.ac.uk/158382/ }}, year = {{2020}}, month = {{2}}, author = {{Beohar H and K枚nig B and K眉pper S and Silva A}}, doi = {{10.1016/j.scico.2019.102320}}, volume = {{186}}, journal = {{Science of Computer Programming}}, note = {{Accessed on 2025/06/20}}}