Validating quality attribute requirements via execution-based model checking | IEEE Conference Publication | IEEE Xplore