AutoTap: synthesizing and repairing trigger-action programs using LTL properties. - Lefan Zhang; Weijia He; Jesse J. Martinez; Noah Brackenbury; Shan Lu 001; Blase Ur (ICSE, 2019)