Strategies for the modelling and simulation of asynchronous computer architectures