J. Cosmen-schortmann, M. Azaola-saenz, M. A. Martinez-olague, and M. Toledo-lopez, Integrity in urban and road environments and its use in liability critical applications, 2008 IEEE/ION Position, Location and Navigation Symposium, pp.972-983, 2008.
DOI : 10.1109/PLANS.2008.4570071

R. Tracs-ltd, Galileo Overall Architecture Definition (GALA) Definition and Sizing For The Safety of Life Market, 2000.

B. Pfitzinger, T. Baumann, and T. Jestädt, Analysis and Evaluation of the German Toll System Using a Holistic Executable Specification, 2012 45th Hawaii International Conference on System Sciences, pp.5632-5638, 2012.
DOI : 10.1109/HICSS.2012.111

R. Vargic, M. Buncak, and J. Kacur, On self-similarity in service triggering in NGN networks using satellite based tolling systems, ELMAR, 2011 Proceedings, pp.183-186, 2011.

N. R. Velaga, M. A. Quddus, and A. L. Bristow, Map-Aided Integrity Monitoring of a Land Vehicle Navigation System, IEEE Transactions on Intelligent Transportation Systems, vol.13, issue.2, pp.848-858, 2012.
DOI : 10.1109/TITS.2012.2187196

R. Toledo-moreo, D. Betaille, and F. Peyret, Lane-Level Integrity Provision for Navigation and Map Matching With GNSS, Dead Reckoning, and Enhanced Maps, IEEE Transactions on Intelligent Transportation Systems, vol.11, issue.1, pp.100-112, 2010.
DOI : 10.1109/TITS.2009.2031625
URL : https://hal.archives-ouvertes.fr/hal-00639616

R. Toledo-moreo, M. A. Zamora-izquierdo, B. Ubeda-miarro, and A. F. Gomez-skarmeta, High-Integrity IMM-EKF-Based Road Vehicle Navigation With Low-Cost GPS/SBAS/INS, IEEE Transactions on Intelligent Transportation Systems, vol.8, issue.3, pp.491-511, 2007.
DOI : 10.1109/TITS.2007.902642

F. Van-graas and J. L. Farrell, Baseline Fault Detection and Exclusion Algorithm, Proceedings of the 49th Annual Meeting of The Institute of Navigation, pp.413-420, 1993.

D. Salós, Integrity monitoring applied to the reception of GNSS signals in urban environments, 2012.

B. W. Parkinson and P. Axelrad, Autonomous GPS Integrity Monitoring Using the Pseudorange Residual, Navigation, vol.2, issue.1, pp.255-274, 1988.
DOI : 10.1002/j.2161-4296.1988.tb00955.x

R. G. Brown and P. Mcburney, Self-Contained GPS Integrity Check Using Maximum Solution Separation, Navigation, vol.35, issue.1, pp.41-54, 1988.
DOI : 10.1002/j.2161-4296.1988.tb00939.x

M. A. Sturza, Navigation System Integrity Monitoring Using Redundant Measurements, Navigation, vol.35, issue.2, pp.483-502, 1988.
DOI : 10.1002/j.2161-4296.1988.tb00975.x

Y. C. Lee, Analysis of range and position comparison methods as a means to provide GPS integrity in the user receiver, Proceedings of the Annual Meeting of The Institute of Navigation, 1986.

R. G. Grover-brown, A Baseline GPS RAIM Scheme and a Note on the Equivalence of Three RAIM Methods, Navigation, vol.35, issue.4, pp.301-316, 1992.
DOI : 10.1002/j.2161-4296.1992.tb02278.x

T. Walter and P. Enge, Weighted RAIM for Precision Approach Proceedings of the 8th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GPS 1995), pp.1995-2004, 1995.

P. B. Ober, Ways to Improve RAIM/AAIM Availability Using Position Domain Performance Computations Proceedings of the 1997 National Technical Meeting of The Institute of Navigation, pp.485-497, 1997.

R. G. Brown and G. Y. Chin, GPS RAIM: Calculation of Thresholds and Protection Radius Using Chi-Square Methods-A Geometric Approach, Global Positioning System: Papers, pp.155-178, 1998.

M. A. Sturza and A. K. Brown, Comparison of Fixed and Variable Threshold RAIM Algorithms Proceedings of the 3rd International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GPS 1990), pp.437-443, 1990.

S. Feng, W. Y. Ochieng, D. Walsh, and R. Ioannides, A measurement domain receiver autonomous integrity monitoring algorithm, GPS Solutions, vol.35, issue.2, pp.85-96, 2006.
DOI : 10.1007/s10291-005-0010-8

O. Julien, Design of Galileo L1F tracking loops, 2005.

D. Salós, C. Macabiau, A. Martineau, B. Bonhoure, and D. Kubrak, Nominal GNSS pseudorange measurement model for vehicular urban applications, IEEE/ION Position, Location and Navigation Symposium, pp.806-815, 2010.
DOI : 10.1109/PLANS.2010.5507319