inspecting and verifying software timing properties 1872162