ASSL - Autonomic System Specification Language - Emil Vassev - pocket (9783838313832)