Guang Zheng Lian Li Wenbo Chen Anping He Jinzhao Wu Process Algebra with Chaos Executing Policy for Unhealthy Systems. 86-93 2009 4 JCP 1 http://www.academypublisher.com/jcp/vol04/no01/jcp0401086093.html db/journals/jcp/jcp4.html#ZhengLCHW09