JInterval Library: Principles, Development, and Perspectives. - Dmitry Yu. Nadezhin; Sergei I. Zhilin (Reliab. Comput., 2013)