case study: AF-Raf / Jason implementation