We model the well-known Train-Gate-Controller (railroad crossing problem) system in Event Calculus using Goal-Direct Answer Programming using s(CASP). Our paper illustrates the ease by which such a cyber-physical system is modelled and its properties are verified relative to prior assumptions. Event calculus allows for succinct modelling of a dynamic system due to near zero semantic gap between the event calculus encoding and the system itself. This is to be distinguished from automata-theoretic approaches which explicitly encode the notion of state and define explicit transitions between states. Further, Event Calculus is naturally expressed in s(CASP) without need for discretization of continuous physical quantities including time. This is due to the goal-direct answer set semantics of s(CASP) combined with constraint solving over reals. Continuous properties require no discretization unlike other approaches to model Event Calculus in SAT-based Answer Set solvers.