Radu Calinescu, Javier Camara & Colin Paterson (2019):
Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges.
In: 5th ICSE Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS).
IEEE/ACM,
pp. 1–6,
doi:10.1109/sescps.2019.00008.
Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli & Tim Kelly (2018):
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases.
IEEE Transactions on Software Engineering 44(11),
pp. 1039–1069,
doi:10.1109/tse.2017.2738640.
Clifton A. Ericson (2015):
Hazard Analysis Techniques for System Safety,
2 edition.
Wiley.
Simon Foster, Frank Zeyda & Jim Woodcock (2015):
Isabelle/UTP: A Mechanised Theory Engineering Framework.
In: UTP.
Springer,
pp. 21–41,
doi:10.1007/978-3-319-14806-9_2.
Mario Gleirscher (2020):
Yap Against Perils: Application Guide and User's Manual.
University of York and Technical University of Munich.
Available at http://gleirscher.de/yap/.
Mario Gleirscher & Radu Calinescu (2020):
Safety Controller Synthesis for Collaborative Robots.
In: Engineering of Complex Computer Systems, 25th International Conference (ICECCS), 28 - 31 October 2020, Singapore,
pp. 1–12.
Available at https://arxiv.org/abs/2007.03340.
In press.
Mario Gleirscher, Radu Calinescu & Jim Woodcock (2020):
Risk Structures: A Design Algebra for Risk-Aware Machines.
Working paper.
Department of Computer Science, University of York,
York, UK.
Available at https://arxiv.org/abs/1904.10386.
Charles A. R. Hoare (1985):
Communicating Sequential Processes.
Int. Series in Comp. Sci..
Prentice-Hall.
Available at http://www.usingcsp.com.
IEC 61508 (2011):
Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems.
Standard.
The 61508 Association.
Available at http://www.61508.org/.
ISO/TS 15066 (2016):
Robots and robotic devices – Collaborative robots.
Standard.
Robotic Industries Association (RIA).
Available at https://www.iso.org/standard/62996.html.
Kurt Jensen & Lars M. Kristensen (2009):
Coloured Petri Nets.
Springer,
Berlin Heidelberg,
doi:10.1007/b95112.
John Knight (2012):
Fundamentals of Dependable Computing for Software Engineers.
Chapman and Hall/CRC,
doi:10.1201/b11667.
Marta Kwiatkowska, Gethin Norman & David Parker (2007):
Stochastic Model Checking.
In: M. Bernardo & J. Hillston: Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM),
LNCS 4486.
Springer,
pp. 220–70,
doi:10.1007/978-3-540-72522-0_6.
Marta Kwiatkowska, Gethin Norman & David Parker (2011):
PRISM 4.0: Verification of Probabilistic Real-time Systems.
In: G. Gopalakrishnan & S. Qadeer: 23rd International Conference on Computer Aided Verification (CAV),
LNCS 6806.
Springer,
pp. 585–591,
doi:10.1007/978-3-642-22110-1_47.
Leslie Lamport (1977):
Proving the Correctness of Multiprocess Programs.
IEEE Trans. Software Eng. 3(2),
pp. 125–43,
doi:10.1109/TSE.1977.229904.
Martin Leucker & Christian Schallhart (2009):
A brief account of runtime verification.
Journal of Logic and Algebraic Programming 78(5),
pp. 293–303,
doi:10.1016/j.jlap.2008.08.004.
Nancy G. Leveson (2012):
Engineering a Safer World: Systems Thinking Applied to Safety.
Engineering Systems.
MIT Press,
Cambridge, Mass.,
doi:10.7551/mitpress/8179.001.0001.
Zohar Manna & Amir Pnueli (1995):
Temporal Verification of Reactive Systems: Safety.
Springer,
doi:10.1007/978-1-4612-4222-2.
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis & Jim Woodcock (2019):
RoboChart: modelling and verification of the functional behaviour of robotic applications.
Software & Systems Modeling,
doi:10.1007/s10270-018-00710-z.