%0 Book
%A Kroger, Fred
%T Temporal logic and state systems
%U /book/72166531/Temporal-logic-and-state-systems/