Adrien Barton, Ludger Jansen, Arnaud Rosier, Jean-François Ethier: What is a Risk? A Formal Representation of Risk of Stroke for People with Atrial Fibrillation. ICBO 2017