Kernel Program Behaviour Models