3rd International Workshop on Applied Verification for Continuous and Hybrid Sytems, ARCH16