Lignende værker: Guaranteed Verification of Dynamic Systems