Real time counter machines | IEEE Conference Publication | IEEE Xplore