%0 Book
%A edited by Antony Galton
%T Temporal logics : and their applications
%U /book/101372556/Temporal-logics-and-their-applications/