Boeken over Efficient Modeling And Verification Of Analog_Mixed-Signal Circuits Using Labeled Hybrid Petri Nets.