System Architecture - An Ordinary Engineering Discipline - Wolfgang J. Paul; Christoph Baumann; Petro Lutsyk; Sabine Schmaltz (Springer, 2016)

Correctness of multi-core processors with operating system support. - Petro Lutsyk (2018)