Merge pull request #20 from claudiomenghi/master

Adds the Specification Patterns for Robotic Missions reference

dslzoo.bib

@@ -2135,9 +2135,29 @@ @inproceedings{garcia2019high
 url = {http://www.cse.chalmers.se/~bergert/paper/2019-sle-promise.pdf},
 year = {2019},
 zoo-subdomains = {Coordination, Architectures and Programming},
-zoo-ap-subdomains = {Control and Handling of Events}
+zoo-ap-subdomains = {Control and Handling of Events},
 zoo-phases = {Scenario Building},
 zoo-tool = {'EMF Xtext', 'EMF Sirius', 'EMF Xtend')},
 zoo-website = {https://sites.google.com/view/promise-dsl/home},
 zoo-download = {https://github.com/SergioGarG/PROMISE_implementation},
-}
+}
+
+@article{menghi2019Specification,
+annote = {We present a catalog of 22 mission specification patterns for mobile robots, together with tooling for instantiating, composing, and compiling the patterns to create mission specifications in temporal logic},
+author={C. {Menghi} and C. {Tsigkanos} and P. {Pelliccione} and C. {Ghezzi} and T. {Berger}},
+journal={Transactions on Software Engineering},
+doi={10.1109/TSE.2019.2945329},
+keywords={Software,Service robots,Natural languages,Software engineering,Tools,Task analysis},
+publisher = {IEEE},
+title={Specification Patterns for Robotic Missions},
+year={2019},
+zoo-subdomains = {Motion Planning, Reasoning Methods},
+zoo-ap-subdomains = {Control and Handling of Events, Design Patterns},
+zoo-phases = {Scenario Building},
+zoo-tool = {LTL/CTL},
+zoo-website = {http://roboticpatterns.com},
+zoo-download = {http://roboticpatterns.com},
+}
+
+
+