@inproceedings{DBLP:conf/models/ThorburnSFABDH22,
  author       = {Robert Thorburn and
                  Vladimiro Sassone and
                  Asieh Salehi Fathabadi and
                  Leonardo Aniello and
                  Michael J. Butler and
                  Dana Dghaym and
                  Thai Son Hoang},
  editor       = {Thomas K{\"{u}}hn and
                  Vasco Sousa},
  title        = {A lightweight approach to the concurrent use and integration of SysML
                  and formal methods in systems design},
  booktitle    = {Proceedings of the 25th International Conference on Model Driven Engineering
                  Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
                  Quebec, Canada, October 23-28, 2022},
  pages        = {83--84},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3550356.3559577},
  doi          = {10.1145/3550356.3559577},
  timestamp    = {Thu, 10 Nov 2022 12:50:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ThorburnSFABDH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"raSSF8GbdA88kr6TY","bibbaseid":"thorburn-sassone-fathabadi-aniello-butler-dghaym-hoang-alightweightapproachtotheconcurrentuseandintegrationofsysmlandformalmethodsinsystemsdesign-2022","author_short":["Thorburn, R.","Sassone, V.","Fathabadi, A. S.","Aniello, L.","Butler, M. J.","Dghaym, D.","Hoang, T. S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Robert"],"propositions":[],"lastnames":["Thorburn"],"suffixes":[]},{"firstnames":["Vladimiro"],"propositions":[],"lastnames":["Sassone"],"suffixes":[]},{"firstnames":["Asieh","Salehi"],"propositions":[],"lastnames":["Fathabadi"],"suffixes":[]},{"firstnames":["Leonardo"],"propositions":[],"lastnames":["Aniello"],"suffixes":[]},{"firstnames":["Michael","J."],"propositions":[],"lastnames":["Butler"],"suffixes":[]},{"firstnames":["Dana"],"propositions":[],"lastnames":["Dghaym"],"suffixes":[]},{"firstnames":["Thai","Son"],"propositions":[],"lastnames":["Hoang"],"suffixes":[]}],"editor":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["K"uhn"],"suffixes":[]},{"firstnames":["Vasco"],"propositions":[],"lastnames":["Sousa"],"suffixes":[]}],"title":"A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design","booktitle":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022","pages":"83–84","publisher":"ACM","year":"2022","url":"https://doi.org/10.1145/3550356.3559577","doi":"10.1145/3550356.3559577","timestamp":"Thu, 10 Nov 2022 12:50:00 +0100","biburl":"https://dblp.org/rec/conf/models/ThorburnSFABDH22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/models/ThorburnSFABDH22,\n author = {Robert Thorburn and\n Vladimiro Sassone and\n Asieh Salehi Fathabadi and\n Leonardo Aniello and\n Michael J. Butler and\n Dana Dghaym and\n Thai Son Hoang},\n editor = {Thomas K{\\"{u}}hn and\n Vasco Sousa},\n title = {A lightweight approach to the concurrent use and integration of SysML\n and formal methods in systems design},\n booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering\n Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,\n Quebec, Canada, October 23-28, 2022},\n pages = {83--84},\n publisher = {{ACM}},\n year = {2022},\n url = {https://doi.org/10.1145/3550356.3559577},\n doi = {10.1145/3550356.3559577},\n timestamp = {Thu, 10 Nov 2022 12:50:00 +0100},\n biburl = {https://dblp.org/rec/conf/models/ThorburnSFABDH22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n","author_short":["Thorburn, R.","Sassone, V.","Fathabadi, A. S.","Aniello, L.","Butler, M. J.","Dghaym, D.","Hoang, T. S."],"editor_short":["K"uhn, T.","Sousa, V."],"key":"DBLP:conf/models/ThorburnSFABDH22","id":"DBLP:conf/models/ThorburnSFABDH22","bibbaseid":"thorburn-sassone-fathabadi-aniello-butler-dghaym-hoang-alightweightapproachtotheconcurrentuseandintegrationofsysmlandformalmethodsinsystemsdesign-2022","role":"author","urls":{"Paper":"https://doi.org/10.1145/3550356.3559577"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","dataSources":["PCdRvyaDZRZMeqKhf"],"keywords":[],"search_terms":["lightweight","approach","concurrent","use","integration","sysml","formal","methods","systems","design","thorburn","sassone","fathabadi","aniello","butler","dghaym","hoang"],"title":"A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design","year":2022}