The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution. - Hugo Daniel Macedo; René S. Nilsson; Peter Gorm Larsen (Comput., 2019)

Realization of distributed system models using code generation extensions. - Miran Hasanagic; Peter W. V. Tran-Jørgensen; René S. Nilsson; Peter Gorm Larsen (Softw. Pract. Exp., 2019)

Enabling continuous integration in a formal methods setting. - Luís Diogo Couto; Peter W. V. Tran-Jørgensen; René S. Nilsson; Peter Gorm Larsen (Int. J. Softw. Tools Technol. Transf., 2020)