Algorithmic Aspects of Risk Management. - Ashish Gehani; Lee Zaniewski; K. Subramani 001 (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)