Ackermann C, Ray A, Cleaveland R, Heit J, Martin C, Shelton C.  2008.  Model Based Design Verification: A Monitor Based Approach. 2008-01-0741