%0 Book
%A 
%T Verification of digital and hybrid systems
%U /book/72151470/Verification-of-digital-and-hybrid-systems/