On monitoring concurrent systems with TLA: an example | IEEE Conference Publication | IEEE Xplore