Testing a Distributed System: Generating Test Sequences without Potential Controllability and Observability Problems | IEEE Conference Publication | IEEE Xplore