Optimal Configuration for Multiversion Real-Time Systems Using Slack Based Schedulability. - Sayuri Terada; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010)