L21_Verification and Troubleshooting of Simulation Results - Beyond Smart Cities