CIRAMI, ROBERTOROBERTOCIRAMICORETTI, IgorIgorCORETTIDI MARCANTONIO, PaoloPaoloDI MARCANTONIOPucillo, MauroMauroPucilloSantin, AndrejAndrejSantinSantin, PaoloPaoloSantin2019-02-072019-02-072008http://hdl.handle.net/20.500.12386/1173StampaenEVALSO: Requirements and ArchitectureTechnical report