Towards a self-forensics property in the ASSL toolset