SmartPulse: Automated Checking of Temporal Properties in Smart Contracts | IEEE Conference Publication | IEEE Xplore