@misc{misc, title = {{Conditional Transition Systems with Upgrades}}, url = {{}}, year = {{2017}}, month = {{6}}, author = {{Beohar H and K枚nig B and K眉pper S and Silva A}}, doi = {{10.48550/arxiv.1706.02526}}, note = {{Accessed on 2025/04/04}}}