Raylin Tso Takeshi Okamoto Eiji Okamoto 1-out-of-. 45-55 2008 ISPEC http://dx.doi.org/10.1007/978-3-540-79104-1_4 conf/ispec/2008 db/conf/ispec/ispec2008.html#TsoOO08