Martin Fränzle Karsten Lüth Visual temporal logic as a rapid prototyping tool. 93-113 2001 27 Comput. Lang. 1/3 db/journals/cl/cl27.html#FranzleL01 https://doi.org/10.1016/S0096-0551(01)00017-0