Program synthesis from formal requirements specifications using APTS
scientific article; zbMATH DE number 1968844