This book constitutes the refereed proceedings of the 28th International Symposium on Model Check...