Specifying and reasoning about generic architecture in TCOZ | IEEE Conference Publication | IEEE Xplore