Virtual prototyping AADL architectures in a polychronous model of computation