TL: a system-level specification language for system analysis | IEEE Conference Publication | IEEE Xplore