Design of an efficient model for software process improvement
Verification and Validation of Temporal Models in Safety Critical Software Development Cycle A Unified Modeling Language Approach
