Using correctness, consistency, and completeness patterns for automated scenarios verification | IEEE Conference Publication | IEEE Xplore