TLM-Driven Design and Verification MethodologyBrian Bailey, Felice Balarin, Michael McNamara, Guy Mosenson, Michael Stellfox · First published 2010Open the Tome