PDF) Principles of model checking,Principles of Model Checking (Mit Press): 9780262026499,Principles of Model Checking by Baier, Christel, Katoen,FRDMGD3162HBIEVM Half-Bridge Evaluation Kit | NXP Semiconductors,NXP Hardware Support from Simulink - Hardware Support