Sandberg, M., Yuksel, O., Baran, I., Hattel, J. H. & Spangenberg, J. (2021).
Numerical and experimental analysis of resin-flow, heat-transfer, and cure in a resin-injection pultrusion process.
Composites Part A: Applied Science and Manufacturing,
143, Article 106231.
https://doi.org/10.1016/j.compositesa.2020.106231
Salling, F. B.
, Sandberg, M., Spangenberg, J. & Hattel, J. H. (2020).
Numerical and experimental analyses in composites processing: impregnation, heat transfer, resin cure and residual stresses.
IOP Conference Series-Materials Science and Engineering,
942(1), Article 012003.
https://doi.org/10.1088/1757-899X/942/1/012003
Neghina, M., Zamfirescu, C.-B.
, Larsen, P. G. & Pierce, K. (2020).
Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system. In B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulao, P. Carreira & V. Amaral (Eds.),
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (pp. 169-193). Academic Press.
https://www.elsevier.com/books/multi-paradigm-modelling-approaches-for-cyber-physical-systems/tekinerdogan/978-0-12-819105-7
Neghina, M., Zamfirescu, C.-B.
, Larsen, P. G., Lausdahl, K. G. & Pierce, K. (2018).
Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems.
Studies in Informatics and Control,
27(1), 33-42.
https://doi.org/10.24846/v27i1y201804
Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Derakhshandeh, S. Y.
& Khooban, M. H. (2023).
Multi-Criteria Design of Electric Transit Bus Based on Wireless Charging Infrastructure: A Case Study of Real Road Map in Wakefield.
Automation ,
4(3), 291-308.
https://doi.org/10.3390/automation4030017
Kazemi, Z., Rask, J. K., Gomes, C., Yildiz, E.
& Larsen, P. G. (2023).
Movable factory—A systematic literature review of concepts, requirements, applications, and gaps.
Journal of Manufacturing Systems,
69, 189-207.
https://doi.org/10.1016/j.jmsy.2023.06.008
Iraji, M., Dehghani, M., Mohammadi, M.
, Vafamand, N. & Boudjadar, J. (2021).
Motor Current Signature Analysis Using Shapelet. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.),
Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 23-33). Springer.
https://doi.org/10.1007/978-3-030-65796-3_3
Stepney, S., Cooper, D.
& Woodcock, J. (1998).
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. In J. P. Bowen, A. Fett & M. G. Hinchey (Eds.),
ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings (Vol. 1, pp. 284-307). Springer Berlin, Heidelberg.
https://doi.org/10.1007/978-3-540-49676-2_20
Chipofya, M., Karamesouti, M., Jan, S., Schwering, A., Murcia, C.
, Schultz, C. P. L., Ho, S., Osewe, G. & Chika, B. (2018).
Modelling Local Knowledge for Inclusive and Responsive Land Information Systems: The Southern Kenyan Maasai Ontology. Poster session presented at World Bank Conference on Land and Poverty 2018, Washington D. C., District of Columbia, United States.
https://its4land.com/world-bank-land-and-poverty-conference-2018/
Abbiati, G., Gomes, C., Sandberg, M., Kazemi, Z., Hansen, S. T.
& Larsen, P. G. (2024).
Modelling for Digital Twins. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.),
The Engineering of Digital Twins (pp. 89-127). Springer.
https://doi.org/10.1007/978-3-031-66719-0_5
Esparza Isasa, J. A., Jørgensen, P. W. V., Nielsen, C. B. & Hallerstede, S. (2014).
Modelling Energy Consumption in Embedded Systems with VDM-RT. In Y. Ameur & K.-D. Schewe (Eds.),
Abstract State Machines, Alloy, B, TLA, VDM, and Z: v (pp. 130-135 ). Springer VS.
https://doi.org/10.1007/978-3-662-43652-3_1
Šeta, B.
, Sandberg, M., Brander, M., Tusher Mollah, M., Pokkalla, D., Kumar, V. & Spangenberg, J. (2023).
Modeling fiber orientation and strand shape morphology in three-dimensional material extrusion additive manufacturing.
Composites Part B: Engineering,
266, Article 110957.
https://doi.org/10.1016/j.compositesb.2023.110957
Freitas, L.
, Hallerstede, S., Hansen, D., Kuppe, M., Mejia, F., Merz, S., Vanzetto, H. & Winter, K. (2014).
Modeling Dijkstra’s Termination Detection Algorithm in TLA+. 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). Dagstuhl Publishing.
https://doi.org/10.4230/DagRep.3.9.74