railway behaviour in modelling computing systems Job ID: 33223499 Budget: £10 – £20 GBP The behaviour of a railway level crossing is depicted in a labelled transition system. Related categories: Label Design / Computer Science