Pavel Parizek Frantisek Plasil Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. 2-21 2008 TOOLS (46) http://dx.doi.org/10.1007/978-3-540-69824-1_2 conf/tools/46-2008 db/conf/tools/tools46-2008.html#ParizekP08