Bourahla, Mustapha: 'LTL transformation modulo positive transitions', IET Computers & Digital Techniques, 2017, 11, (6), p. 205-213, DOI: 10.1049/iet-cdt.2017.0112
IET Digital Library, https://digital-library.theiet.org/;jsessionid=3stdit3grjt6d.x-iet-live-01content/journals/10.1049/iet-cdt.2017.0112