Title: Analysis and synthesis of reactive systems