An asynchronous low-power 80C51 microcontroller by J.S.H. van Gageldonk