Title: Aspects of Modelling Digital Command Control