SAT Cookbook

This book describes in detail how to use SAT to build an OSGi bundle activator.