发送短信: Computer-aided modeling of reactive systems