https://123dok.net/document/8ydrm96z-2017-modelisation-et-specification-formelle-de-contexte-et-sa-prediction-dans-les-systemes-diffus-une-approche-basee-sur-la-logique-temporelle-et-le-modele-stochastique.html