FORMAL ANALYSIS OF TRAFFIC CONFLICTS SEVERITY USING KEYMAERA