Use of GSPNs for concurrent software validation in EPOCA