On computer-aided design of discrete-event-driven control systems-analysis tools for co-observabilities | IEEE Conference Publication | IEEE Xplore