Inter-process communication energy estimation through AADL modeling,