TITLE     : Fluid performability analysis of nested automata models
AUTHOR(S) : Bortolussi L, Hillston J, Tribastone M
TYPE      : Journal article
YEAR      : 2015
CODE      : 424143

*** DO NOT EDIT THIS FILE ***