It is downright scary how accurately PhD comics keep documenting my life:

(I am on holidays all of December to play with my Little One, during the day. Which effectively means that I work from home and at night four days per week, and only go one day per week to university... Oh well. Did I mention the guy in the comic is named Mike?)

UPDATE 2010-01-14: Two More...

We have released version 1.5 of LTSmin. The following improvements have been implemented:

• New frontend DVE (requires DiVinE-cluster)
• Bignum support for state counts in spec-reach tools
  (Jeroen Ketema)
• spec-reach clean-up
• 'tree' vector set implementation based on AtermDD

The source code, installation instructions and manuals are available online:

LTSmin is currently being developed by the Formal Methods and Tools group at the University of Twente, The Netherlands.

The previous release was LTSmin 1.4.