@article {ar:RabeLammichPopescu2014, title = {A shallow embedding of HyperCTL}, journal = {Archive of Formal Proofs}, year = {2014}, author = {M. N. Rabe and P. Lammich and A. Popescu} }