Synthesis for controllability and observability of logical control networks | IEEE Conference Publication | IEEE Xplore