Bortolussi, Luca and Hillston, Jane and Tribastone, Mirco  Fluid performability analysis of nested automata models.  Electronic Notes in Theoretical Computer Science, 310.  pp. 27-47.  ISSN 1571-0661      (2015)