Fifth Workshop on Automated Verification of Critical Systems (AVoCS'05). Image 10/59
Small fountain, Arden House