#KJ-128 Add support for LTL model checking. Added some more details on how to run BlockingQueue examples.