Validating Quality Metrics of State Machine Models - Ammar Osaiweran (مجلة العلوم الهندسية والتقنية)