Independent Verification Of Specification Models For Large Software Systems At The Early Phases Of Development Lifecycle