Utilised stepPeriod in the EventBComponent's doStep()
Precision attribute moved to Event-B ports and stepPeriod attribute moved to generic Component
Master modified to utilise a two-list approach for evaluating components based on individual step period value