Testing real-time task networks with functional extensions using model-checking | IEEE Conference Publication | IEEE Xplore