Maintaining Verification Test Consistency Between Executable Specifications and Embedded Software in a Virtual System Integration Laboratory Environment. - Ted Bennett; Paul Wennberg (SEW, 2003)