Principles of program synthesis for real-time systems on the basis of a formal logical description of the problem environment | Publicación