SEARCH Articles Figures Tables Flow chart of a development method for active systems [Publishers Imprint]