Problem Diagram: Package Router Control as a Simple Behaviour Problem The interface between the Router Controller machine and the Router & Packages domain, shown in the left callout, consists of these phenomena: • read: Read events in which the barcode of a package entity is read, and the participating barcoded string is transmitted to the Router Controller. These events are controlled by the Router & Packages domain. • hit: Hit events in which a package hits a sensor. The Router & Packages