STTT paper published - my first journal publication

Almost two years ago, me and my coauthors got invited to submit the extended version of our TACAS 2007 paper to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). Last weekend I received an email that our journal paper titled "A Low-Level Memory Model and an Accompanying Reachability Predicate" got published. Finally :)!