Model-based quality assurance of protocol documentation: tools and methodology (2011)

by W Grieskamp, N Kicillof, K Stobie, V A Braberman
Venue:Software Testing, Verification and Reliability