I've looked at it -- some good ideas there. Often formal systems have problems in scaling, etc.