High-level situation recognition using Fuzzy Metric Temporal Logic, case studies in surveillance and smart environments | IEEE Conference Publication | IEEE Xplore