Djilali Liabès University Master's Thesis: A verified, GPS-aware healthcare infrastructu…