Strong Dynamic Consensus in Byzantine Faulty Systems with Churn | IEEE Conference Publication | IEEE Xplore