Jean-Raymond Abrial (2010):
Modeling in Event-B.
Cambridge University Press,
doi:10.1017/CBO9781139195881.
Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta & Laurent Voisin (2010):
Rodin: an open toolset for modelling and reasoning in Event-B.
International Journal on Software Tools for Technology Transfer 12(6),
pp. 447–466,
doi:10.1007/s10009-010-0145-y.
Yves Bertot & Pierre Castéran (2013):
Interactive theorem proving and program development: Coq’Art: the calculus of inductive constructions.
Springer,
doi:10.1007/978-3-662-07964-5.
Robert Bogue (2011):
Robots in the nuclear industry: a review of technologies and applications.
Industrial Robot: An International Journal 38(2),
pp. 113–118,
doi:10.1108/01439911111106327.
Manfred Broy (2018):
A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability – from requirements to functional and architectural views.
Software and System Modeling 17(2),
pp. 365–393,
doi:10.1007/s10270-017-0619-4.
Manfred Broy (2018):
Theory and methodology of assumption/commitment based system interface specification and architectural contracts.
Formal Methods in System Design 52(1),
pp. 33–87,
doi:10.1007/s10703-017-0304-9.
Adrien Champion, Arie Gurfinkel, Temesghen Kahsai & Cesare Tinelli (2016):
CoCoSpec: A mode-aware contract language for reactive systems.
In: International Conference on Software Engineering and Formal Methods,
LNCS 9763.
Springer,
pp. 347–366,
doi:10.1007/978-3-319-41591-8_24.
Alessandro Cimatti, Michele Dorigatti & Stefano Tonetta (2013):
OCRA: A tool for checking the refinement of temporal contracts.
In: International Conference on Automated Software Engineering (ASE).
IEEE,
pp. 702–705,
doi:10.1109/ASE.2013.6693137.
Edmund M Clarke, Orna Grumberg & Doron Peled (1999):
Model checking.
MIT press.
Darren Cofer, Andrew Gacek, Steven Miller, Michael W Whalen, Brian LaValley & Lui Sha (2012):
Compositional verification of architectural models.
In: NASA Formal Methods Symposium,
LNCS 7226.
Springer,
pp. 126–140,
doi:10.1007/978-3-642-13464-7_5.
Louise A. Dennis, Michael Fisher, Matthew P. Webster & Rafael H. Bordini (2012):
Model checking agent programming languages.
Automated Software Engineering 19(1),
pp. 5–63,
doi:10.1007/s10515-011-0088-x.
Ankush Desai, Shaz Qadeer & Sanjit A. Seshia (2018):
Programming Safe Robotics Systems: Challenges and Advances.
In: Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Verification.
Springer International Publishing,
Cham,
pp. 103–119,
doi:10.1007/978-3-030-03421-4_8.
Edsger W Dijkstra (1975):
Guarded commands, nondeterminacy and formal derivation of programs.
Communications of the ACM 18(8),
pp. 453–457,
doi:10.1145/360933.360975.
Marie Farrell, Matt Luckcuck & Michael Fisher (2018):
Robotics and Integrated Formal Methods: Necessity meets Opportunity.
In: Integrated Formal Methods,
LNCS 11023.
Springer,
pp. 161–171,
doi:10.1007/978-3-319-98938-9_10.
Marie Farrell, Rosemary Monahan & James F Power (2017):
Specification Clones: An Empirical Study of the Structure of Event-B Specifications.
In: International Conference on Software Engineering and Formal Methods,
LNCS 10469.
Springer,
pp. 152–167,
doi:10.1007/978-3-319-66197-1_10.
Helen F. Hastie, Katrin Solveig Lohan, Mike J. Chantler, David A. Robb, Subramanian Ramamoorthy, Ronald P. A. Petrick, Sethu Vijayakumar & David Lane (2018):
The ORCA Hub: Explainable Offshore Robotics through Intelligent Interfaces.
CoRR abs/1803.02100.
Available at http://arxiv.org/abs/1803.02100.
C. A. R. Hoare (1969):
An axiomatic basis for computer programming.
Communications of the ACM 12(10),
pp. 576–580,
doi:10.1145/363235.363259.
C. A. R. Hoare (1978):
Communicating sequential processes.
Communications of the ACM 21(8),
pp. 666–677,
doi:10.1145/359576.359585.
Cliff B. Jones (1983):
Tentative Steps Toward a Development Method for Interfering Programs.
ACM Transactions on Programming Languages and Systems 5(4),
pp. 596–619,
doi:10.1145/69575.69577.
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon & Michael Fisher (2019):
Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
ACM Comput. Surv. 52(5),
pp. 1–41,
doi:10.1145/3342355.
Christoph Luckeneder & Hermann Kaindl (2018):
Systematic top-down design of cyber-physical models with integrated validation and formal verification.
In: International Conference on Software Engineering,
pp. 274–275,
doi:10.1145/3183440.3194967.
Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi & Thorsten Berger (2019):
Specification patterns for robotic missions.
IEEE Transactions on Software Engineering,
doi:10.1109/TSE.2019.2945329.
Carroll Morgan, Ken Robinson & Paul Gardiner (1988):
On the Refinement Calculus.
Springer,
doi:10.1007/978-1-4471-3273-8.
Peter D Mosses (2004):
CASL reference manual: The complete documentation of the common algebraic specification language.
Springer,
doi:10.1007/b96103.
A. Pnueli (1977):
The Temporal Logic of Programs.
In: 18th Symposium on the Foundations of Computer Science.
IEEE,
pp. 46–57,
doi:10.1109/SFCS.1977.32.
Azamat Shakhimardanov, Nico Hochgeschwender & Gerhard Kraetzschmar (2010):
Component models in robotics software.
In: Workshop on Performance Metrics for Intelligent Systems.
ACM,
pp. 82–87,
doi:10.1145/2377576.2377592.
Stefano Spellini, Michele Lora, Franco Fummi & Sudipta Chattopadhyay (2019):
Compositional Design of Multi-Robot Systems Control Software on ROS.
ACM Trans. Embed. Comput. Syst. 18(5s),
doi:10.1145/3358197.
J Michael Spivey (1988):
Understanding Z: a specification language and its formal semantics.
Cambridge University Press.
Lucas Wagner, David Greve & Andrew Gacek (2017):
SIMPAL: A Compositional Reasoning Framework for Imperative Programs.
In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,
SPIN 2017.
Association for Computing Machinery,
New York, NY, USA,
pp. 90–93,
doi:10.1145/3092282.3092290.
Matt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher & Anthony G Pipe (2020):
A corroborative approach to verification and validation of human–robot teams.
The International Journal of Robotics Research 39(1),
pp. 73–99,
doi:10.1177/0278364919883338.
Brian H. Wilcox (1992):
Robotic vehicles for planetary exploration.
Applied Intelligence 2(2),
pp. 181–193,
doi:10.1007/BF00058762.
eptcs@eptcs.org