A Design of Approximate Voting Schemes for Fail-Operational Systems. - Hideyuki Ichihara; Kazunori Yukihiro; Tomoo Inoue (ATS, 2021)