Qi, X. , Zhao, C. (2009), 'Calculus-based Runtime Verification', World Academy of Science, Engineering and Technology, Open Science Index 34, International Journal of Computer and Information Engineering, 3(10), 2369 - 2373.