Carsten Heyl Arnulf Mester Heiko Krumm cTc - A Tool Supporting the Construction of cTLA-Specifications. 407-411 1996 conf/tacas/1996 TACAS db/conf/tacas/tacas96.html#HeylMK96 http://dx.doi.org/10.1007/3-540-61042-1_60