Time as non-functional requirement in distributed control systems | IEEE Conference Publication | IEEE Xplore