Li, B., Bhatt, M.
& Schultz, C. (2019).
λProlog(QS): Functional spatial reasoning in higher order logic programming. I S. Timpf, C. Schlieder, M. Kattenbeck, B. Ludwig & K. Stewart (red.),
14th International Conference on Spatial Information Theory, COSIT 2019 Artikel 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. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.),
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind 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. I J. Fitzgerald, T. Oda & H. D. Macedo (red.),
Proceedings of the 18th International Overture Workshop (s. 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. I C. Gamble & L. Diogo Couto (red.),
Proceedings of the 17th Overture Workshop (s. 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. I 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 (red.),
Formal Methods: FM 2019 International Workshops (Bind Revised Selected Papers, Part II, s. 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. I 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 (red.),
Formal Methods. FM 2019 International Workshops (s. 289-302). Springer.
https://doi.org/10.1007/978-3-030-54997-8_19
Meyer, B.
& Woodcock, J. (red.) (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. I B. Meyer & J. Woodcock (red.),
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 (Bind 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. I A. L. Lafuente & A. Mavridou (red.),
Formal Methods for Industrial Critical Systems (s. 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. I
Proceedings of the 13th Overture Workshop (Bind Grace-TR 2015-06, s. 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. I A. Riedl, W. Kainz & G. A. Elmes (red.),
Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (1 udg., s. 27-42). Springer 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. I P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock & M. Palmieri (red.),
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods (s. 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. I B. Wolff, M.-C. Gaudel & A. Feliachi (red.),
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Bind 1, s. 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