ISBN 9780557539062 books & textbook
TLM-Driven Design and Verification Methodology
Bailey, Brian Balarin, Felice McNamara, Michael Mosenson, Guy Stellfox, Michael Watanabe, Yosinori
Lulu.com /2010-07-02 Paperback / 296 Pages
isbn-10: 0557539064 / isbn-13: 9780557539062
