Papers tagged reactive systems