Anas M. R. Alsobeh, Aws Abed Al Raheem Magableh: BlockASP: A Framework for AOP-Based Model Checking Blockchain System. IEEE Access 11: 115062-115075 (2023)