Andy Restrepo, W. Eric Wong. Validation of SDL-Based Architectural Design Models: New Coverage Criteria. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea. pages 51-59, IEEE, 2011. [doi]
Abstract is missing.