A layered architecture for simulating distributed operating systems | IET Conference Publication | IEEE Xplore