Formal development method of control systems using the event-based B approach Case study : A parcel sorting device | IEEE Conference Publication | IEEE Xplore