On Handling Source Code Positions and Local Variables in LTL Software Model Checking. - Guillaume Hétier; Hanifa Boucheneb (ICSOFT, 2018)