H-ASPASyA stands for Heurist-ASPASYA and is an extension of
aspasya with heuristic search.
G. Baldi, A. Bracciali, G. Ferrari, E. Tuosto
"A Coordination-based Methodology for Security Protocol Verification".
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models,
June 2004, Volume 121, ENTCS
[PDF] (the presentation to the workshop is here)