If you do not have a Google account, but do have a local account, you can still log in:
Machine generated authority record.
Work cat.: (OSt)32569: Verhulst, Eric and Boute, Raymond T., Formal development of a network-centric rtos, Springer
