Modelling Real-time Systems with Bigraphs