Slightly updated FSML spec paper