Logical modeling of biological systems - Inoue, Katsumi; Fariñas del Cerro, Luis (ISTE, Ltd., 2014)
4.2.2. The process hitting framework.