Formal Analysis of Mechanisms Increasing Arterial Pressure - R. D. Grygoryan (Cybernetics and computer engineering, 2014)