D-Script : Dependable scripting with DEOS process | IEEE Conference Publication | IEEE Xplore