Debski, Wojciech (2015) TRMLOC Reference manual version 4.2. Technical Report. ..