B dans le tranport ferroviaire. L'expérience de Siemens Transportation Systems. - Daniel Dollé; Didier Essamé; Jérôme Falampin (Tech. Sci. Informatiques, 2003)

Validation des règles de base de l'Atelier B. - Karim Berkani; Catherine Dubois; Alain Faivre; Jérôme Falampin (Tech. Sci. Informatiques, 2004)

Automated Property Verification for Large Scale B Models. - Michael Leuschel; Jérôme Falampin; Fabian Fritz; Daniel Plagge (FM, 2009)

Automated property verification for large scale B models with ProB. - Michael Leuschel; Jérôme Falampin; Fabian Fritz; Daniel Plagge (Formal Aspects Comput., 2011)

Improving Railway Data Validation with ProB. - Jérôme Falampin; Hung Le-Dang; Michael Leuschel; Mikael Mokrani; Daniel Plagge (Industrial Deployment of System Engineering Methods, 2013)