A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain | IEEE Conference Publication | IEEE Xplore