%PDF-1.4
%
1 0 obj
<>stream
application/pdfIEEE2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC);2019;1; ;10.1109/COMPSAC.2019.00089System-of-systemsActor modelTrack-based flow managementModel checkingPerformance evaluationAn Actor-Based Design Platform for System of SystemsMarjan SirjaniGiorgio ForcinaAli JafariStephan BaumgartEhsan KhamespanahAli Sedaghatbaf
2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)579 July 2019110.1109/COMPSAC.2019.00089587
endstream
endobj
2 0 obj
<>stream
Adobe d
$$''$$53335;;;;;;;;;;
%% ## ((%%((22022;;;;;;;;;; V" ?
3 !1AQa"q2B#$Rb34rC%Scs5&DTdE£t6UeuF'Vfv7GWgw 5 !1AQaq"2B#R3$brCScs4%&5DTdEU6teuFVfv'7GWgw ? iXKA$SpJki)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmI)O6/BmwX090 IJ+[xcdu))oBm^?4SBm^?4SBm^?4SBm^?4SBm^?4SBm^?M;=k_[7wkg|SBm^?4SBm^?4SBm^?4SBm^?4SBm^?4SBm^?>F}OJFvbtDЧ~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$Ч~O6M$\1\N\JUQ(fȦI$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$/v9]
Lvg~ ~o -4b7ZA;<Lgҩ_|Xuz~h=]V[WoYF~OR4mX'&v:X-cHs]Y?P{,Nʷ:M,{dVX}w恢'Nŧ"{Xۑeulln{v H/84U]74YKvT.Z8#^LJHj;/ƿW'?ϲ~5-"kZ6V폶شq{+}>f]k)}7h ;c&w.^rzK>ܫmaekGJŧLv`W[[nCĶo~=ZZ ր ]"1jGڟ~^KÀݵe9kw@w'CjOJ˵eM|GU;V>^3عTlXk Tya9 φ~\Y!(qQ+f>m,M-.ywuWAkf?^OUUo9h"tuqoksHHb+z[K(]_ӏSqsi$D)g̦釬a*89#'0ò+ms굺<4Fƻ&Y]}Fv:NQ5;)14UQk7
8r&
4ڧ7lcGY N}7>_Sچlx^St^pz_LUْ̫mTakXnk:͚j~llFF̸ɓd !c
[1㺫7d;qVz_Z߅'.~oȫK0Foan:˟^νZP̞+ꡅh%eBFT:|[pM\_-7$:MVg0ۍp FvKx(n:y/KH90lakXuj];x o?wٷ$;}3S72[j863kgZh9Xl7{Zw$kSzGmW_sIT'PUK_rY
eOabcױm's2Ucz4tYM,#m{}ߣi:-<֪bs@fC/cnCXڥ_+~,jro˭o.|ИeS/H~]n]Wo=zXl-M_+Gkyϭ7˲Kn%zV g*7znc+qC