paper: Added LTL formulas and corrected some typos
Merge https://github.com/Wassasin/xraymodel