2 works on record
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
Cloud Security Auditing