- Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
- Embedded Java Security: Security for Mobile Devices
- Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
- Embedded Java Security: Security for Mobile Devices
- Aspect-Oriented Security Hardening of UML Design Models