TEAR: A Multi-purpose Formal Language Specification for TEsting at Runtime | IEEE Conference Publication | IEEE Xplore