• Narizzano, M., Pulina, L., Tacchella, A. and Vuotto, S., 2019. Property specification patterns at work: verification and inconsistency explanation. Innovations in Systems and Software Engineering, pp.1-17.

 

  • L. Li, C. Sau, T. Fanni, J. Li, T. Viitanen, F. Christophe, F. Palumbo, L. Raffo, H. Huttunen, J. Takala, and S. S. Bhattacharyya,
    An integrated hardware/software design methodology for signal processing systems, Journal of Systems Architecture, Volume 93, 2019, Pages 1-19, ISSN 1383-7621,
    https://doi.org/10.1016/j.sysarc.2018.12.010.