Development of a constraint-based airlift scheduler by program synthesis from formal specifications | IEEE Conference Publication | IEEE Xplore