Furnemont, ArnaudArnaudFurnemontRosmeulen, MaartenMaartenRosmeulenCacciato, AntonioAntonioCacciatoBreuil, LaurentLaurentBreuilDe Meyer, KristinKristinDe MeyerMaes, HermanHermanMaesVan Houdt, JanJanVan Houdt2021-10-162021-10-162007https://imec-publications.be/handle/20.500.12860/12175A consistent model for the SANOS programming operationProceedings paper