Principles of Systems Design - Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar (Springer, 2022)