Real-time behaviour verification, animation and monitoring starting from DCCS specificationMõtus, Leo; Näks, TõnuDCCS 2000 : 16th IFAC Workshop on Distributed Computer Control Systems : Sydney, Australia 29 Nov - 1 Dec 2000 : pre-prints2000 / p. 85-92https://www.sciencedirect.com/science/article/pii/S1474667017367320