Event Order Abstraction for Parametric Real-Time System Verification

Some beautiful and famous countryside sites are at risk of being over-used for large-scale walks. This kind of activity brings hundreds of tramping feet and a hubbub of noise and bustle which can destroy the very beauty and atmosphere for which the place is famous. Other sites and routes are much more robust and lend themselves happily to throngs of people all enjoying themselves at the same place at the same time. Choose your event site wisely.