Use of sfc sequential function charts for specification