Online Monitoring of Distributed Systems with a Five-Valued LTL | IEEE Conference Publication | IEEE Xplore