BARNAT, Jiří,
Luboš BRIM,
Pavel ŠIMEČEK and Michael WEBER. Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking. In
Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg: Springer-Verlag, 2008, p. 48-62. ISBN 978-3-540-78799-0.