Some language issues (e.g. "As a part of SPA is the ...", the first sentence of the abstract which should be two sentences or rewritten, "appopiate" on page 23, "The livelock query make sure").
Also, the title seems a bit odd to me (why a comma after "model-checked" and "Space Plug-and-Play Architecturs Local Subnet Adaptation" sounds strange but that's maybe just because the domain is new to me).
Some language issues (e.g. "As a part of SPA is the ...", the first sentence of the abstract which should be two sentences or rewritten, "appopiate" on page 23, "The livelock query make sure").
Also, the title seems a bit odd to me (why a comma after "model-checked" and "Space Plug-and-Play Architecturs Local Subnet Adaptation" sounds strange but that's maybe just because the domain is new to me).