CASYS
International Journal of Computing Anticipatory Systems
Yuichi Goto, Shinsuke Nara and Jingde Cheng
Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security