Inter-process communication energy estimation through AADL modeling | IEEE Conference Publication | IEEE Xplore