Control Logic Synthesis: Drawing the Rest of the OWL - View it on GitHub