TY - GEN T1 - A Team Based Variant of CTL PY - 2015/05/08 AU - Krebs A AU - Meier A AU - Virtema J ED - Y2 - 2024/12/23 ER -