Li, B., Bhatt, M.
& Schultz, C. (2019).
λProlog(QS): Functional spatial reasoning in higher order logic programming. In S. Timpf, C. Schlieder, M. Kattenbeck, B. Ludwig & K. Stewart (Eds.),
14th International Conference on Spatial Information Theory, COSIT 2019 Article 26 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.COSIT.2019.26
Fleischmann, A., Glässer, U., Hayes , I.
, Hallerstede, S., Hansen , D., Voisin , L. & Winter, K. (2014).
Working Groups: Comparison of Methods and Tools: Summary of Meeting of Workgroup on Methodology. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.),
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Schloss Dagstuhl--Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/DagRep.3.9.74
Rask, J. K., Madsen, F. P., Battle, N.
, Macedo, H. D. & Larsen, P. G. (2021).
Visual Studio Code VDM Support. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.),
Proceedings of the 18th International Overture Workshop (pp. 35-50)
https://arxiv.org/pdf/2101.07261.pdf
Oda, T., Keijiro, A., Yamamoto, Y., Nakakoji, K., Hiroshi, S., Chang, H.-M.
& Larsen, P. G. (2019).
ViennaDoc: An Animatable and Testable Specication Documentation Tool. In C. Gamble & L. Diogo Couto (Eds.),
Proceedings of the 17th Overture Workshop (pp. 76-90). Newcastle University.
Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H.-M.
& Larsen, P. G. (2020).
ViennaDoc: An Animatable and Testable Specification Documentation Tool. In E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (Eds.),
Formal Methods: FM 2019 International Workshops (Vol. Revised Selected Papers, Part II, pp. 289-302). Springer.
https://doi.org/10.1007/978-3-030-54997-8
Oda, T., Araki, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H. M.
& Larsen, P. G. (2020).
ViennaDoc: An animatable and testable specification documentation tool. In E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (Eds.),
Formal Methods. FM 2019 International Workshops (pp. 289-302). Springer.
https://doi.org/10.1007/978-3-030-54997-8_19
Meyer, B.
& Woodcock, J. (Eds.) (2005).
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. In B. Meyer & J. Woodcock (Eds.),
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Vol. 1). Springer.
https://doi.org/10.1007/978-3-540-69149-5
Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021).
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. In A. L. Lafuente & A. Mavridou (Eds.),
Formal Methods for Industrial Critical Systems (pp. 3-20). Springer.
https://doi.org/10.1007/978-3-030-85248-1_1
Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O.
, Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022).
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.
International Journal on Software Tools for Technology Transfer,
24(6), 999-1024.
https://doi.org/10.1007/s10009-022-00686-8
Oda, T., Yamamoto, Y., Nakakoji, K., Araki, K.
& Larsen, P. G. (2015).
VDM Animation for a Wider Range of Stakeholders. In
Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 18-32). National Institute of Informatics, Tokyo.
http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf
Schultz, C. P. L., R. Clephane, T., W. Guesgen, H. & Amor, R. (2006).
UTILISATION OF QUALITATIVE SPATIAL REASONING IN GEOGRAPHIC INFORMATION SYSTEMS. In A. Riedl, W. Kainz & G. A. Elmes (Eds.),
Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (1 ed., pp. 27-42). Springer Verlag, Berlin, Heidelberg.
https://doi.org/10.1007/3-540-35589-8
Tøttrup, M. F., Hu, E. C., Kramer, B. A.
, Macedo, H. D. & Esterle, L. (2023).
Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. In P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock & M. Palmieri (Eds.),
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods (pp. 200-209). Springer.
https://doi.org/10.1007/978-3-031-26236-4_18
Woodcock, J. & Bandur, V. (2012).
Unifying Theories of Undefinedness in UTP. In B. Wolff, M.-C. Gaudel & A. Feliachi (Eds.),
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Vol. 1, pp. 1-22). Springer.
https://doi.org/10.1007/978-3-642-35705-3
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J.
, Woodcock, J. & Zeyda, F. (2020).
Unifying theories of reactive design contracts.
Theoretical Computer Science,
802, 105-140.
https://doi.org/10.1016/j.tcs.2019.09.017