(Bas), et al.. Improved Verification Methods for Concurrent Systems. Technische Universiteit Eindhoven, 2009, doi:10.6100/ir643995.