The State of the Art and the State of the Practice Title of Paper : New Directions in C 2 Software Quality Assurance Automation Based on Executable Environment Models Submission