Verification of Systems and Circuits Using Lotos, PETRI NETs, and CCs, Hardco...