2 works on record
Strategies for the modelling and simulation of asynchronous computer architectures
Modelling the Logistics of Mantzikert