@misc{misc, title = {{A Team Based Variant of CTL}}, url = {{}}, year = {{2015}}, month = {{5}}, author = {{Krebs A and Meier A and Virtema J}}, note = {{Accessed on 2024/12/23}}}