@inproceedings(DBLP:conf/coordination/BortolussiLM13,
 author       = {L. Bortolussi and D. Latella and M. Massink},
 year         = {2013},
 title        = {Stochastic Process Algebra and Stability Analysis of Collective Systems},
 editor       = {R. De Nicola and C. Julien},
 booktitle    = {Coordination Models and Languages, 15th International Conference, {COORDINATION} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {7890},
 publisher    = {Springer},
 pages        = {1--15},
 doi          = {10.1007/978-3-642-38493-6\_1},
)
@article(DBLP:journals/tcs/CiocchettaH09,
 author       = {F. Ciocchetta and J. Hillston},
 year         = {2009},
 title        = {Bio-PEPA: {A} framework for the modelling and analysis of biological systems},
 journal      = {Theor. Comput. Sci.},
 volume       = {410},
 number       = {33-34},
 pages        = {3065--3084},
 doi          = {10.1016/j.tcs.2009.02.037},
)
@article(DLLM13,
 author       = {{De Nicola}, R. and D. Latella and M. Loreti and M. Massink},
 year         = {2013},
 title        = {A uniform definition of stochastic process calculi},
 journal      = {{ACM} Computing Surveys},
 volume       = {46},
 pages        = {5},
 doi          = {10.1145/2522968.2522973},
)
@inproceedings(Feng:2015:CSA:2735960.2735973,
 author       = {L. Feng and C. Wiltsche and L. Humphrey and U. Topcu},
 year         = {2015},
 title        = {Controller Synthesis for Autonomous Systems Interacting with Human Operators},
 booktitle    = {Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems},
 series       = {ICCPS '15},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {70--79},
 doi          = {10.1145/2735960.2735973},
)
@inproceedings(VashtiAmbulance,
 author       = {V. Galpin},
 year         = {2016},
 title        = {Modelling Ambulance Deployment with {CARMA}},
 editor       = {Lluch Lafuente, A. and Proen{\c{c}}a, J.},
 booktitle    = {Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
 publisher    = {Springer},
 pages        = {121--137},
 doi          = {10.1007/978-3-319-39519-7\_8},
)
@inproceedings(Georgoulas2014,
 author       = {A. Georgoulas and J. Hillston and D. Milios and G. Sanguinetti},
 year         = {2014},
 title        = {Probabilistic Programming Process Algebra},
 editor       = {G. Norman and William Sanders},
 booktitle    = {Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings},
 publisher    = {Springer},
 pages        = {249--264},
 doi          = {10.1007/978-3-319-10696-0\_21},
)
@inproceedings(HillHL:15a,
 author       = {J. Hillston and M. Loreti},
 year         = {2015},
 title        = {Specification and Analysis of Open-Ended Systems with {\textsc{Carma}\xspace}},
 booktitle    = {Fourth International Workshop on Agent Environments for Multi-Agent Systems, Revised Selected and Invited Papers ({E4MAS} 2014)},
 series       = {LNCS 9068},
 publisher    = {Springer},
 pages        = {95--116},
 doi          = {10.1007/978-3-319-23850-0\_7},
)
@inproceedings(John2008,
 author       = {M. John and C. Lhoussaine and J. Niehren and A.M. Uhrmacher},
 year         = {2008},
 title        = {The Attributed Pi Calculus},
 editor       = {M. Heiner and A.M. Uhrmacher},
 booktitle    = {Computational Methods in Systems Biology: 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {83--102},
 doi          = {10.1007/978-3-540-88562-7\_10},
)
@inproceedings(John:2010:APP:2172311.2172313,
 author       = {M. John and C. Lhoussaine and J. Niehren and A.M. Uhrmacher},
 year         = {2010},
 title        = {The Attributed Pi-calculus with Priorities},
 editor       = {C. Priami and R. Breitling and D. Gilbert and M. Heiner and A.M. Uhrmacher},
 booktitle    = {Transactions on Computational Systems Biology XII},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {13--76},
 doi          = {10.1007/978-3-642-11712-1\_2},
)
@inproceedings(DBLP:conf/forte/KuntzSW04,
 author       = {M. Kuntz and M. Siegle and E. Werner},
 year         = {2004},
 title        = {Symbolic Performance and Dependability Evaluation with the Tool {CASPA}},
 editor       = {N{\'{u}}{\~{n}}ez, M. and Z. Maamar and F.L. Pelayo and K. Pousttchi and F. Rubio},
 booktitle    = {Applying Formal Methods: Testing, Performance and M/ECommerce, {FORTE} 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004},
 series       = {LNCS},
 volume       = {3236},
 publisher    = {Springer},
 pages        = {293--307},
 doi          = {10.1007/978-3-540-30233-9\_22},
)
@inproceedings(KNP11,
 author       = {M. Kwiatkowska and G. Norman and D. Parker},
 year         = {2011},
 title        = {{PRISM} 4.0: Verification of Probabilistic Real-time Systems},
 editor       = {G. Gopalakrishnan and S. Qadeer},
 booktitle    = {Proc. 23rd International Conference on Computer Aided Verification (CAV'11)},
 series       = {LNCS},
 volume       = {6806},
 publisher    = {Springer},
 pages        = {585--591},
 doi          = {10.1007/978-3-642-22110-1\_47},
)
@inproceedings(CARMA-tutorial,
 author       = {M. Loreti and J. Hillston},
 year         = {2016},
 title        = {Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools},
 editor       = {M. Bernardo and De Nicola, R. and J. Hillston},
 booktitle    = {Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {83--119},
 doi          = {10.1007/978-3-319-34096-8\_4},
)
@article(DBLP:journals/fac/MassinkLBHH12,
 author       = {M. Massink and D. Latella and A. Bracciali and M. D. Harrison and J. Hillston},
 year         = {2012},
 title        = {Scalable context-dependent analysis of emergency egress models},
 journal      = {Formal Asp. Comput.},
 volume       = {24},
 number       = {2},
 pages        = {267--302},
 doi          = {10.1007/s00165-011-0188-1},
)
@inproceedings(NPK+02,
 author       = {G. Norman and D. Parker and M. Kwiatkowska and S. Shukla and R. Gupta},
 year         = {2002},
 title        = {Formal Analysis and Validation of Continuous Time {Markov} Chain Based System Level Power Management Strategies},
 editor       = {W. Rosenstiel},
 booktitle    = {Proc. 7th Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT'02)},
 publisher    = {IEEE Computer Society Press},
 pages        = {45--50},
)
@article(CarPooling,
 author       = {N. {Zo\'n} and S. Gilmore and J. Hillston},
 year         = {2016},
 title        = {Rigorous graphical modelling of movement in Collective Adaptive Systems},
 journal      = {In Proceedings of ISoLA 2016},
 note         = {To appear},
)