Title: Automatic synthesis of sequential control schemes