A framework for practical, automated black-box testing of component-based software
A specifier's introduction to formal methods